Basic LabVIEW Programming Amit J Nimunkar, Sara Karle, Michele Lorenz, Emily Maslonkowski Introduction This lab familiarizes you with the software package LabVIEW from National Instruments for data acquisition and virtua

Source URL: ewh.slc.engr.wisc.edu

Comp480 Programming Assignment #1 Due Feb.-13 (Fri.) (before 11:59pm) Difficulty: easy Objective: Understand a compilation and basic structure of a simple OpenGL code.

Source URL: sglab.kaist.ac.kr

15-122: Principles of Imperative Computation Course Syllabus Frank Pfenning August 28, 2011 This course is intended for students with a basic understanding of programming (variables, expressions, loops, arrays, functions

Source URL: www.cs.cmu.edu

Secure Programming Foundation Learn the basic principles of Secure Programming. Suited for every programmer/software-developer who wants to create secure (web) applications. Introduction Cybercrime, data leaks and inform

Source URL: www.icomply.nl

BRICS RSBiernacki et al.: On the Dynamic Extent of Delimited Continuations BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Continuations
• Control flow
• Subroutines
• Delimited continuation
• Functional languages
• Call-with-current-continuation
• Standard ML
• ConTeXt
• Tree traversal
• Software engineering
• Computing
• Computer programming

BRICS DS-05-2 J. Iversen: Formalisms and tools supporting Constructive Action Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Programming language semantics
• Action semantics
• Formal languages
• Peter Mosses
• Programming language
• SYNTAX
• ASF+SDF Meta Environment
• Programming language theory
• Theoretical computer science
• Software engineering

BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation

Source URL: www.brics.dk

• Functional languages
• Type theory
• Data types
• Lambda calculus
• Logic in computer science
• Type system
• ML
• OCaml
• Partial evaluation
• Software engineering
• Programming language theory
• Computing

BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: CPS Transformation of Flow Information, Part II: Administrative Reductions CPS Transformation of Flow Information

Source URL: www.brics.dk

• Computational complexity theory
• Continuation-passing style
• Continuations
• Functional programming
• Lambda calculus
• Static single assignment form
• Reduction
• Theoretical computer science
• Applied mathematics
• Software engineering

BRICS RS-05-7 P. D. Mosses: Modular Structural Operational Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Computing
• Logic in computer science
• Operational semantics
• Denotational semantics
• Semantics
• Programming language
• Expression
• Action semantics
• Monad
• Software engineering
• Theoretical computer science
• Programming language semantics